Pull request type

Please check the type of change your PR introduces:

• Bugfix
• Feature
• Code style update (formatting, renaming)
• Refactoring (no functional changes, no api changes)
• Build related changes
• Documentation content changes
• Internationalization and localization
• Other (please describe):

What is the current behavior?

Since changes in PR #104, the search box was not doing anything anymore.

Issue Number: #88

What is the new behavior?

Search is operational again. However the behavior changed and there is some remaining work to do.

Done:

• Search show the result in a combo list.
• Selecting a matching item navigates to it.
• Typing something that gives no result shows an item "No results found".

To do in a future PR:

• Clicking on "No results found" item or pressing [Enter] when there's no result should go to a page indicating that there is no result.
• Pressing [Enter] when the typed query gives several suggested items should go to a page showing details about these suggested items.

Other information

Quality check

Before creating this PR, have you:

• Followed the code style guideline as described in CONTRIBUTING.md
• Verified that the change work in Release build configuration
• Checked all unit tests pass